﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.ComponentModel;
using System.Diagnostics.Contracts;

namespace Isuka.Automation
{
    public partial interface IAutomationObject
        : IDisposable
    {
        [Browsable(false)]
        object Object { get; }
    }

    #region IAutomationObject contract binding
    [ContractClass(typeof(IAutomationObjectContract))]
    public partial interface IAutomationObject
    {

    }

    [ContractClassFor(typeof(IAutomationObject))]
    abstract class IAutomationObjectContract : IAutomationObject
    {
        #region IAutomationObject メンバー

        public object Object
        {
            get
            {
                Contract.Ensures(Contract.Result<object>() != null);
                throw new NotImplementedException();
            }
        }

        #endregion

        #region IDisposable メンバー

        public void Dispose()
        {
            throw new NotImplementedException();
        }

        #endregion
    }
    #endregion

}
